Template:ProbMacro

[ilmath]\newcommand{\P}[2][]{\mathbb{P}#1{\left[{#2}\right]} } \newcommand{\Pcond}[3][]{\mathbb{P}#1{\left[{#2}\!\ \middle\vert\!\ {#3}\right]} } \newcommand{\Plcond}[3][]{\Pcond[#1]{#2}{#3} } \newcommand{\Prcond}[3][]{\Pcond[#1]{#2}{#3} }[/ilmath]

Description

• 4th of November 2017 - scrapping prototype, using \middle and \! for spacing issue
  • I can use { } around the terms instead of [ilmath]\![/ilmath], removing pspace too
• Added \!\ before and after the [ilmath]\vert[/ilmath] in conditional probability. Alec (talk) 22:39, 11 November 2017 (UTC)

Original

• Prototype created: 3rd Nov 2017
• Purpose: to be included and uniformly provide a short cut to typing \mathbb{P}\left[(whatever)\right] every time
• No spaces are provided either side of the [ilmath]\vert[/ilmath] in conditional versions.

Caveats

(None)

SOLVED=

• <sup> can be messed up by the \! at the end (after the \right])
  • as in:
    • [ilmath]\P{A} [/ilmath]^test
  • We can add a space:
    1. [ilmath]\P{A} [/ilmath] ^test - macro
    2. [ilmath]\mathbb{P}[A][/ilmath] ^test - manual
       • Notice that this now has too much space!
  • FIX
    • Added \Pspace - which can be set to nothing if/when this is fixed - added \pspace to for ease of typing
    • Results:
      1. [ilmath]\P{A}\pspace[/ilmath]^test - macro (no space between m tag and sup)
      2. [ilmath]\mathbb{P}[A][/ilmath]^test - manual ""
  • Workings:
    • Trials:
      • [ilmath]\mathbb{P}[A][/ilmath]^test - original, no spaces
      • [ilmath]\P{A} [/ilmath]^test - macro, just \P, no spaces
      • [ilmath]\mathbb{P}[A][/ilmath]^test - original, no spaces
      • [ilmath]\P{A}\!\ [/ilmath]^test - macro, followed by \!\ in TeX, then no spaces between math tag and sup
        • Not quite perfect, but bloody close, will use this for \pspace
  • Sig: Alec (talk) 22:21, 4 November 2017 (UTC)

Tasks

For 4th Nov 2017 update

• Make \Pcond use \P rather than being it's own thing

For original

---

TODO: Remove this when there are none left

---

• Support variations, for example to underbrace things without the brackets becoming huge
• Support things like [ilmath]\mathbb{P}'[A][/ilmath] or [ilmath]\overline{\mathbb{P} }[A][/ilmath]
• If Plcond and Prcond always work the same, introduce Pcond alone. I have no solution right now. Examples of why below
  • They are named so that the left one is sized by the first argument, the right one is sized by the second (due to the \vert in the middle)

Compare

\P

• [ilmath]\P{A}\oplus [/ilmath] - macro
• [ilmath]\mathbb{P}[A]\oplus[/ilmath] - orig

\Pcond

• [ilmath]\Pcond{A}{B}\oplus [/ilmath] - macro
• [ilmath]\mathbb{P}[A\vert B]\oplus[/ilmath] - orig

Followed by a <sup>

• [ilmath]\P{A}\pspace[/ilmath]^test - macro - with \pspace
• [ilmath]\mathbb{P}[A][/ilmath]^test - orig
• [ilmath]\P{A} [/ilmath]^test - macro - no space macro

Tests

• [ilmath]\P{A} [/ilmath], [ilmath]\Prcond{A}{B} [/ilmath]
  • lcond:
    • [math]\Plcond{\sum^n_{k\eq 1} }{\text{small} } [/math]
    • [math]\Plcond{\text{small} }{\sum^n_{k\eq 1} } [/math]
  • rcond:
    • [math]\Prcond{\sum^n_{k\eq 1} }{\text{small} } [/math]
    • [math]\Prcond{\text{small} }{\sum^n_{k\eq 1} } [/math]
• With primes
  • lcond:
    • [math]\Plcond[']{\sum^n_{k\eq 1} }{\text{small} } [/math]
    • [math]\Plcond[']{\text{small} }{\sum^n_{k\eq 1} } [/math]
  • rcond:
    • [math]\Prcond[']{\sum^n_{k\eq 1} }{\text{small} } [/math]
    • [math]\Prcond[']{\text{small} }{\sum^n_{k\eq 1} } [/math]
• With subscripts
  • lcond:
    • [math]\Plcond[_k]{\sum^n_{k\eq 1} }{\text{small} } [/math]
    • [math]\Plcond[_k]{\text{small} }{\sum^n_{k\eq 1} } [/math]
  • rcond:
    • [math]\Prcond[_k]{\sum^n_{k\eq 1} }{\text{small} } [/math]
    • [math]\Prcond[_k]{\text{small} }{\sum^n_{k\eq 1} } [/math]

Pay careful condition to the [ilmath]\vert[/ilmath] heights as much as the [ilmath][[/ilmath] and [ilmath]][/ilmath]