Distinguish between '/', '\div' and '\frac'