Evaluated proc symbolab_fix a {}