Search results

Create the page "L variable" on this wiki! See also the search results found.

Page title matches

• Template:L variable
  Template use to typeset a variable name in an event-b listing.
  319 bytes (43 words) - 10:22, 26 February 2009

Page text matches

• Datatype Rules
  ...\operatorname{member}(x,l) \land (\forall y \qdot \operatorname{member}(y,l) \limp y \leq x)</math> we can free variable l then apply Distinct Case on it:
  8 KB (1,199 words) - 13:37, 7 September 2010
• Structured Types
  |<math> \begin{array}{l} ~~~~\begin{array}{l}
  18 KB (2,643 words) - 12:41, 12 August 2009
• Migration to Eclipse 3.6
  ::'''Variable tab stops in StyledText''' ::'''StyledText: per line variable tab stops'''
  12 KB (1,814 words) - 08:44, 30 June 2010
• Help:Maths
  ...r variables, letters are in italics; digits are not. For other text, (like variable labels) to avoid being rendered in italics like variables, use <code>\text< ...<code><nowiki>{{math|<VAR>i</VAR>}}</nowiki></code> for an arbitrary index variable.
  65 KB (9,755 words) - 10:04, 5 September 2008
• User:Mathieu/popups.js
  // set global variable (ugh) to hold article (wikipage) str += '<br><<whatLinksHere|shortcut=l>>*<<relatedChanges|shortcut=r>>';
  267 KB (34,206 words) - 10:58, 24 June 2008
• User:Mathieu/popup.js
  // set global variable (ugh) to hold article (wikipage) str += '<br><<whatLinksHere|shortcut=l>>*<<relatedChanges|shortcut=r>>';
  281 KB (35,750 words) - 15:33, 31 October 2008