Use the textual comma character as decimal separator in math mode
License: lppl1.3c Version: 2017/12/03 Catalogued: 2017-12-05
Use the textual comma character as decimal separator in math mode
License: lppl1.3c Version: 2017/12/03 Catalogued: 2017-12-05