The \ll and \gg symbol definitions should be swapped. #178
Description
The \ll and \gg symbol definitions should be swapped.
(i.e., \ll should be unicode(0x226A) and \gg should be unicode(0x226B)).
{{ message }}
The \ll and \gg symbol definitions should be swapped.
(i.e., \ll should be unicode(0x226A) and \gg should be unicode(0x226B)).