AutoAns makes leading unary minus annoying to input

Create issue
Issue #601 new
Pol Welter created an issue

When I want a new entry to start with a -, I usually get ans-, which I don't want. Of course I can get around this by either disabling the AutoAns setting (which I like though), or by e.g. first typing a space: ␣-.

I propose we add support for reverting to a simple unary minus by hitting the minus button twice. First - is converted to ans-, but then ans-- becomes -.

Comments (1)

  1. Log in to comment