12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 04:06, 17 June 2009
, 04:06, 17 June 2009→Note 25: markup
Line 3,996:
Line 3,996:
<pre>+Staying with the example pq : X -> B, Figure 25-1 shows+
−
==Note 25==
==Note 25==
−Continuing with the example <math>pq : X \to \mathbb{B},</math> Figure 25-1 shows the enlargement or shift map <math>\operatorname{E}(pq) : \operatorname{E}X \to \mathbb{B}</math> in the same style of differential field picture that we drew for the tacit extension <math>\varepsilon (pq) : \operatorname{E}X \to \mathbb{B}.</math>
−the enlargement or shift map E[pq] : EX -> B in the same
−style of differential field picture that we drew for the
−tacit extension !e![pq] : EX -> B.
−</pre>
{| align="center" cellspacing="10" style="text-align:center; width:90%"
{| align="center" cellspacing="10" style="text-align:center; width:90%"
