Did you know ... Search Documentation:
Profile for user Jochem Liem

Comments by Jochem Liem

Sec. 2.162.15.1.2 Character Escape Syntax \quote should be \' (\quote results in a syntax error). From the explanation it is unclear to me why '''' = \'.