10 lines
339 B
Plaintext
10 lines
339 B
Plaintext
|
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML"></script>
|
||
|
|
<script type="text/x-mathjax-config">
|
||
|
|
MathJax.Hub.Config({
|
||
|
|
extensions: ["tex2jax.js"],
|
||
|
|
jax: ["input/TeX", "output/HTML-CSS"],
|
||
|
|
|
||
|
|
"HTML-CSS": { availableFonts: ["TeX"] }
|
||
|
|
});
|
||
|
|
</script>
|
||
|
|
<h1>I sistemi formali</h1>
|