12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Monday July 01, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 14:28, 24 January 2009
, 14:28, 24 January 2009→Stretching Exercises: mathematical markup
\end{matrix}</math>
\end{matrix}</math>
|}
|}
For each choice of propositions <math>p\!</math> and <math>q\!</math> about things in <math>X,\!</math> the stretch of <math>F\!</math> to <math>p\!</math> and <math>q\!</math> on <math>X\!</math> is just another proposition about things in <math>X,\!</math> a simple proposition in its own right, no matter how complex its current expression or its present construction as <math>F^\$ (p, q) = \underline{(}~p~,~q~\underline{)}^\$</math> makes it appear in relation to <math>p\!</math> and <math>q.\!</math> Like any other proposition about things in <math>X,\!</math> it indicates a subset of <math>X,\!</math> namely, the fiber that is variously described in the following ways:
<pre>
<pre>
[| F^$ (p, q) |] = [| -(p, q)-^$ |]
[| F^$ (p, q) |] = [| -(p, q)-^$ |]
