Replace "decimal" by "decimalsign" in AsciiMath input jax. Fix issue 384.