MOS substitution: Difference between revisions
| Line 66: | Line 66: | ||
For brevity, this should usually be written: | For brevity, this should usually be written: | ||
<math>\mathsf{subst} \ a\mathbf{x}(b\mathbf{y}c\mathbf{z} \ k|b+c- | <math>\mathsf{subst} \ a\mathbf{x}(b\mathbf{y}c\mathbf{z} \ k|b+c-1-k),</math> | ||
using [[UDP]] for the filling MOS. | using [[simplified UDP]] for the filling MOS. | ||
Here <math>\mathbf{z}</math> is the new step size inserted, <math>\mathbf{y}</math> is the step size in the starting MOS identified with <math>\mathbf{z}</math> by the template MOS, and <math>k</math> is the brightness of the mode of the filling MOS used (<math>k = 0</math> corresponds to the darkest mode; the conventional understanding of "brightness" makes sense as <math>\mathbf{L}</math> (resp. <math>\mathbf{m}</math>) > <math>\mathbf{s}</math>). | Here <math>\mathbf{z}</math> is the new step size inserted, <math>\mathbf{y}</math> is the step size in the starting MOS identified with <math>\mathbf{z}</math> by the template MOS, and <math>k</math> is the brightness of the mode of the filling MOS used (<math>k = 0</math> corresponds to the darkest mode; the conventional understanding of "brightness" makes sense as <math>\mathbf{L}</math> (resp. <math>\mathbf{m}</math>) > <math>\mathbf{s}</math>). | ||