I would like to avoid:

using SymPyPythonCall

or

import SymPyPythonCall: ↓

my preferred solution which currently does not work would be:

import SymPyPythonCall as SPPC
SPPC.@syms x
SPPC.↓(x)
# ERROR: UndefVarError: `↓` not defined

I don't know if this is Julia specific that you cannot use unicode symbols in this way or if it is SymPyPythonCall

Either way, it would be nice to have my preferred solution working as well :)