aをa_Realって書いたらどう?
今手元にmathematica無いから確認できんけど