Updated blockquotes.
This commit is contained in:
parent
16be094efd
commit
c91f32277d
3 changed files with 8 additions and 1 deletions
|
@ -41,6 +41,8 @@ markdown_extensions:
|
||||||
- pymdownx.details
|
- pymdownx.details
|
||||||
- pymdownx.superfences
|
- pymdownx.superfences
|
||||||
|
|
||||||
|
extra_css:
|
||||||
|
- stylesheets/extra.css
|
||||||
|
|
||||||
extra_javascript:
|
extra_javascript:
|
||||||
- javascripts/mathjax.js
|
- javascripts/mathjax.js
|
||||||
|
|
|
@ -63,7 +63,7 @@ Some relations have special properties
|
||||||
|
|
||||||
??? note "*Proof*:"
|
??? note "*Proof*:"
|
||||||
|
|
||||||
Suppose $b \in [a]_R$, therefore $aRb$. If $c \in [b]_R$, then $bRc$ and as $aRb$ there is transitivity $aRc$. In particular $[b]_R \subseteq [a]_R$. By symmetry of $R$, $aRb \implies bRa$ and hence $a \in [b]_R$, obtaining $[a]_R \subseteq [b]_R.
|
Suppose $b \in [a]_R$, therefore $aRb$. If $c \in [b]_R$, then $bRc$ and as $aRb$ there is transitivity $aRc$. In particular $[b]_R \subseteq [a]_R$. By symmetry of $R$, $aRb \implies bRa$ and hence $a \in [b]_R$, obtaining $[a]_R \subseteq [b]_R$.
|
||||||
|
|
||||||
<br>
|
<br>
|
||||||
|
|
||||||
|
|
5
docs/stylesheets/extra.css
Normal file
5
docs/stylesheets/extra.css
Normal file
|
@ -0,0 +1,5 @@
|
||||||
|
blockquote {
|
||||||
|
background-color: #f0f0f0;
|
||||||
|
opacity: 0.8;
|
||||||
|
color: #333;
|
||||||
|
}
|
Loading…
Reference in a new issue