I think alt should have the original characters rather than having its name to copy-n-paste onto external text editors.