With Python3 sagemath accept unicode characters. But not necessary it's periferic friends as Maxima. So for instance β could not be use in solve could we imagine an automatic substitution process such that when β is use sagemath send for instance be to Maxima and in return know that it must substitute β 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 ?
