The boxes package
The symmath package
Convenience reexports. Typing from boxes import * imports the following:
from boxes import *
Context
constrain