Open mgriebling opened 1 year ago
The \ll and \gg symbol definitions should be swapped. (i.e., \ll should be unicode(0x226A) and \gg should be unicode(0x226B)).
The \ll and \gg symbol definitions should be swapped. (i.e., \ll should be unicode(0x226A) and \gg should be unicode(0x226B)).