| 第233行： |
第233行： |
| | S(x){ | | S(x){ |
| | | | |
| − | <math>q=\lambda (Copy_o \ Popup_o \ Control)</math>
| + | q=λ (Copy_<sub>o</sub> \ Popup_<sub>o</sub> \ Control) |
| | | | |
| − | <math>(Copy_o \ Popup_o \ Control)(q);</math> | + | (Copy_<sub>o</sub> \ Popup_<sub>o</sub> \ Control)(q); |
| | | | |
| | } | | } |