remove \gg?
Issue #28
new
Is this possible now? At some point we needed it to disambiguate some cases?
Is this possible now? At some point we needed it to disambiguate some cases?