ParsedBoxWrapper

ParsedBoxWrapper
is a wrapper that wraps parsed boxes which come from the TagBox expressions that are embedded in Notation, Symbolize, and InfixNotation statements.

更多信息更多信息

Translate this page: