Max Bruckner 876740e123 fix: ParenthesisNode doesn't print parentheses with empty options
When the options to toString or toTex where an empty object,
ParenthesisNode didn't fall back to the default 'keep' behavior.
2016-03-19 18:38:58 +01:00
..
2016-02-26 20:15:52 +01:00
2016-02-27 11:36:47 +01:00