I do not know if it is used in MuPAD (it might be), but in Maple, the ~ immediately after a name indicates that the name has assumptions associated with it, usually assumptions added by the user. For example, an assumption that it is real, or integer valued, or in a particular range.
Best Answer