Leif Andersen a26a7322a5 Latex macros _can_ actually have multiple optional args. ... While done as a tex hack, macros in latex can have multiple optional arguments. As such, we should support it with command-optional. Meaning that the type of command-optional-arguments is now (Listof String)		2017-03-22 19:42:21 -04:00
..
scribble	Latex macros _can_ actually have multiple optional args.	2017-03-22 19:42:21 -04:00