With Python3 sagemath accept unicode characters. But not necessary it's periferic friends as Maxima. So for instance $\beta$ could not be use in solve could we imagine an automatic substitution process such that when $\beta$ is use sagemath send for instance be to Maxima and in return know that it must substitute $\beta$ for be in the other way.
This is perfectly doable on the spot. What I want to know is if one can construct such a mechanism ?
