On 02/20/2017 09:41 PM, Scott Kostyshak wrote: > Is it a bug if our LaTeX output is different when exporting from the > command line, versus exporting from the GUI? That is, are there some > cases where we expect them to be different, and if so, are these > documented?
This is definitely a bug, I'd say. Richard