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 | <!-- 𝕗𝕗𝕗 --> |
---|
18 | <!-- x2146 double-struck italic small d --> |
---|
19 | <!-- ⅆⅆⅆ --> |
---|
20 | fff |
---|
21 | </a> |
---|
22 | |
---|
23 | <a href="#" title="Reset font size" class="docstring_font_reset" onclick="introspect.font_reset($(this)); return false;"> |
---|
24 | <!-- x2248 almost equal to --> |
---|
25 | ≈≈≈ |
---|
26 | </a> |
---|
27 | |
---|
28 | <a href="#" title="Increase font size" class="docstring_font_larger" onclick="introspect.font_larger($(this)); return false;"> |
---|
29 | <!-- x1d53d mathematical double-struck capital F --> |
---|
30 | <!-- 𝔽𝔽𝔽 --> |
---|
31 | <!-- x2145 double-struck italic capital d --> |
---|
32 | <!-- ⅅⅅⅅ --> |
---|
33 | FFF |
---|
34 | </a> |
---|
35 | |
---|
36 | <a href="#" title="Toggle hide / show" class="docstring_toggle" onclick="introspect.toggle($(this)); return false;"> |
---|
37 | <!-- x1d6d5 mathematical bold tau --> |
---|
38 | <!-- 𝛕𝛕𝛕 --> |
---|
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 | <!-- ✂✂✂ --> |
---|
46 | <!-- x2704 white scissors --> |
---|
47 | ✄✄✄ |
---|
48 | </a> |
---|
49 | |
---|
50 | <a href="#" title="Close" class="docstring_close" onclick="introspect.close($(this)); return false;"> |
---|
51 | <!-- x2205 empty set --> |
---|
52 | ∅∅∅ |
---|
53 | </a> |
---|
54 | </div> |
---|
55 | <div style="clear: both; height: 0px;"> </div> |
---|
56 | </div> |
---|
57 | <div class="docstring_proper"> |
---|
58 | {% block body %} {% endblock %} |
---|
59 | </div> |
---|
60 | </div> |
---|