1 | <!-- |
---|
2 | A number of useful mathematical characters lie outside Unicode's Basic |
---|
3 | Multilingual Plane (BMP). FireFox, Chrome, IE, Opera, and Safari |
---|
4 | support varies. For possibilities, see, e.g., |
---|
5 | |
---|
6 | http://www.unicode.org/charts/symbols.html |
---|
7 | http://www.ltg.ed.ac.uk/~richard/utf-8.cgi |
---|
8 | --> |
---|
9 | <div class="docstring"> |
---|
10 | <div class="docstring_header"> |
---|
11 | <div style="clear: both; height: 0px;"> </div> |
---|
12 | <div class="docstring_name" style="float: left; text-align: left; width: 49%;"> |
---|
13 | </div> |
---|
14 | <div class="docstring_toolbar" style="float: right; text-align: right; width: 49%; color: black;"> |
---|
15 | <a href="#" title="Decrease font size" class="docstring_font_smaller" onclick="introspect.font_smaller($(this)); return false;"> |
---|
16 | <!-- x1d557, 𝕗 mathematical double-struck small f --> |
---|
17 | <!-- x2146, ⅆ double-struck italic small d --> |
---|
18 | f |
---|
19 | </a> |
---|
20 | | |
---|
21 | <a href="#" title="Reset font size" class="docstring_font_reset" onclick="introspect.font_reset($(this)); return false;"> |
---|
22 | <!-- x2248, ≈ almost equal to --> |
---|
23 | ≈ |
---|
24 | </a> |
---|
25 | | |
---|
26 | <a href="#" title="Increase font size" class="docstring_font_larger" onclick="introspect.font_larger($(this)); return false;"> |
---|
27 | <!-- x1d53d, 𝔽 mathematical double-struck capital F --> |
---|
28 | <!-- x2145, ⅅ double-struck italic capital d --> |
---|
29 | F |
---|
30 | </a> |
---|
31 | | |
---|
32 | <a href="#" title="Toggle height limit" class="docstring_height_toggle" onclick="introspect.height_toggle($(this)); return false;"> |
---|
33 | <!-- 210d, ℍ double-struck capital H --> |
---|
34 | ℍ |
---|
35 | </a> |
---|
36 | | |
---|
37 | <a href="#" title="Toggle hide / show" class="docstring_toggle" onclick="introspect.toggle($(this)); return false;"> |
---|
38 | <!-- x1d6d5, 𝛕 mathematical bold tau --> |
---|
39 | <!-- x03c4, τ Greek small letter tau --> |
---|
40 | τ |
---|
41 | </a> |
---|
42 | | |
---|
43 | <a href="#" title="Tear out" class="docstring_open" onclick="introspect.open($(this)); return false;"> |
---|
44 | <!-- x2702, ✂ black scissors --> |
---|
45 | <!-- x2704, ✄ white scissors --> |
---|
46 | ✄ |
---|
47 | </a> |
---|
48 | | |
---|
49 | <a href="#" title="Close" class="docstring_close" onclick="introspect.close($(this)); return false;"> |
---|
50 | <!-- x2205, ∅ empty set --> |
---|
51 | ∅ |
---|
52 | </a> |
---|
53 | </div> |
---|
54 | <div style="clear: both; height: 0px;"> </div> |
---|
55 | </div> |
---|
56 | <div class="docstring_proper" style="overflow: auto; height: auto ! important;"> |
---|
57 | {% block body %} {% endblock %} |
---|
58 | </div> |
---|
59 | </div> |
---|