See https://www.physicsforums.com/threads/arithmetic-representation-of-symbols-according-to-certain-rules.1016467/
