Basic Strategy: Engineering Approach
Rule-driven conversion engine
Heuristics to identify and translate math on copy
Per-target translation on paste