SLTypo: I think you meant bayx as the closing delimiter in the example above?Comment·Article·Mar 8, 2025·First-Order, Second-Order Expressions, and Delimiters in Languages