explicit literal: when converting math formulas