Alternative Equation Formats

The equation on this page is available in multiple formats. Depending on your browser, some formats might not render correctly.

MathML

L i f t ( A → B → C → D )   =   N ( A → B → C → D ) N t r a n s ( N ( A ) N t r a n s )   *   ( N ( B ) N t r a n s )   *   ( N ( C ) N t r a n s )   *   ( N ( D ) N t r a n s )   

MathML rendered with MathJax

L i f t ( A → B → C → D )   =   N ( A → B → C → D ) N t r a n s ( N ( A ) N t r a n s )   *   ( N ( B ) N t r a n s )   *   ( N ( C ) N t r a n s )   *   ( N ( D ) N t r a n s )