tree 0def1b51f793d820a2e0f21710bfa1e7388ea54b
parent 28915eefb5b8bc4fc75ccbe546d2b8b400543639
author Han Seoul-Oh <laughinghan@gmail.com> 1479950442 -0800
committer Han Seoul-Oh <laughinghan@gmail.com> 1479950442 -0800

Rename use{Division,Multiplication}Symbol options

...to be more specific about when these symbols are being used (also,
it's called \times not \multiplication)