Changes

→‎Mediate Conditions: <math>\operatorname{M}</math>
Line 2,203: Line 2,203:  
{| align="center" cellpadding=8" width="90%"
 
{| align="center" cellpadding=8" width="90%"
 
|
 
|
<p>If <math>M\!</math> at <math>p_0\!</math> is in state <math>q_\#,\!</math> then <math>M\!</math> at <math>p_1\!</math> is in state <math>q_\#,\!</math> and</p>
+
<p>If <math>\operatorname{M}</math> at <math>p_0\!</math> is in state <math>q_\#,\!</math> then <math>\operatorname{M}</math> at <math>p_1\!</math> is in state <math>q_\#,\!</math> and</p>
   −
<p>If <math>M\!</math> at <math>p_0\!</math> is in state <math>q_*,\!</math> then <math>M\!</math> at <math>p_1\!</math> is in state <math>q_*,\!</math> and</p>
+
<p>If <math>\operatorname{M}</math> at <math>p_0\!</math> is in state <math>q_*,\!</math> then <math>\operatorname{M}</math> at <math>p_1\!</math> is in state <math>q_*,\!</math> and</p>
   −
<p>If <math>M\!</math> at <math>p_1\!</math> is in state <math>q_\#,\!</math> then <math>M\!</math> at <math>p_2\!</math> is in state <math>q_\#,\!</math> and</p>
+
<p>If <math>\operatorname{M}</math> at <math>p_1\!</math> is in state <math>q_\#,\!</math> then <math>\operatorname{M}</math> at <math>p_2\!</math> is in state <math>q_\#,\!</math> and</p>
   −
<p>If <math>M\!</math> at <math>p_1\!</math> is in state <math>q_*,\!</math> then <math>M\!</math> at <math>p_2\!</math> is in state <math>q_*.\!</math></p>
+
<p>If <math>\operatorname{M}</math> at <math>p_1\!</math> is in state <math>q_*,\!</math> then <math>\operatorname{M}</math> at <math>p_2\!</math> is in state <math>q_*.\!</math></p>
 
|}
 
|}
  
12,080

edits