User Portlet

Folks -- one of my students asked if it is possible to directly associate a mathematical property with a variable for use in derivations involving that variable. For example, can one associate the property that a variable a is a real number that is...