JSFiddle - React, Tailwind, and code Playground

by Jonathan McGlone

HTML

<div class="article">
<p>To pick a somewhat arbitrary example to illustrate this point, if the frequency of truths amongst the class of propositions of the form <span class="rend-i">T</span>(x) ↔ ¬<span class="rend-i">Cr</span><span class="rend-isub">a</span>(<span class="rend-i">T</span>(x)) <span class="rend-i">≥ </span>0<span class="rend-i">.</span>5, for x ∈ 𝒟′, is within 0<span class="rend-i">.</span>2 of 1, it follows that the frequency of truths amongst the class of propositions of the form <span class="rend-i">T</span>(x), for x ∈ 𝒟′, can be at most 0<span class="rend-i">.</span>2. But, then, since <span class="rend-i">Cr</span><span class="rend-isub">a</span>(<span class="rend-i">T</span>(∗)) = <span class="rend-i">r ≥ </span>0<span class="rend-i">.</span>5, it follows that the frequency of truths amongst the class of propositions of the form <span class="rend-i">T</span>(x), for x ∈ 𝒟′, is not within 0<span class="rend-i">.</span>2 of <span class="rend-i">r</span>. And so, given that <span class="rend-i">Cr</span><span class="rend-isub">a</span>(<span class="rend-i">T</span>(∗)) = <span class="rend-i">r ≥ </span>0<span class="rend-i">.</span>5, it follows that there are values of ϵ such that there is no 𝒟′ that extends 𝒟 for which (1<span class="rend-isub">a</span>)–(1<span class="rend-isub">c</span>) are co-possible.</p>

<p>To see this, let <span class="rend-i">Cr</span><span class="rend-isub">a</span>(·) = <span class="rend-i">C</span>(·). For Annie to be calibratable over <span class="rend-i">Q</span>, it must be the case that, for every ϵ &gt; 0, there is an extension of <span class="rend-i">C</span>(·), <span class="rend-i">C′</span>(·), and a <span class="rend-i">C′</span>(·)-alike extension <span class="rend-i">Q′ </span>of <span class="rend-i">Q</span>, such that were it to be the case that <span class="rend-i">Cr</span><span class="rend-isub">a</span>(·) = <span class="rend-i">C′</span>(·), Annie would be calibrated within ϵ over <span...

CSS

body { margin: 60px; }
.formula { white-space: nowrap; }

JavaScript

$(function(){
        var thePage = $(".article");
        thePage.html(thePage.html().replace(/x ∈ 𝒟′/gi, '<span class="formula">$&</span>').replace(/Q′/gi, '<span class="formula">$&</span>').replace(/C′/gi, '<span class="formula">$&</span>'));
    });