is the lowlevel function used in Wolfram System sessions to construct expressions from boxes.


  • MakeExpression returns its result wrapped in HoldComplete.
  • form can be StandardForm, TraditionalForm, or other forms for which interpretation rules have been defined.
  • You can give definitions for MakeExpression[expr,form] to specify your own rules for how boxes should be converted to expressions.
  • MakeExpression is not automatically called on the results it generates. This means that explicit MakeExpression calls must typically be inserted into definitions for MakeExpression.
  • MakeExpression is used whenever boxes are supplied as input to the Wolfram Language.
  • The boxes that are fed to MakeExpression are constructed from textual input by forming tokens, then grouping these according to standard Wolfram Language operator precedence rules, stripping out spacing characters. StyleBox and other objects not intended for interpretation are removed. »
  • Definitions you give for MakeExpression will override builtin Wolfram Language rules for processing input.
  • Giving input prefaced by \! makes the Wolfram Language effectively perform MakeExpression.


open allclose all

Basic Examples  (1)

Convert boxes to an expression using StandardForm rules:

Click for copyable input

Scope  (2)

Properties & Relations  (2)

Possible Issues  (1)

See Also

MakeBoxes  ToExpression  RawBoxes  Format  StandardForm  TraditionalForm  StripBoxes  StripWrapperBoxes  StripOnInput


Introduced in 1996