-
Notifications
You must be signed in to change notification settings - Fork 52
/
Copy pathsymbols.html
106 lines (103 loc) · 4.11 KB
/
symbols.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
<!DOCTYPE html>
<html ng-app='Detexify'>
<head>
<meta charset='utf-8'>
<meta content='IE=edge,chrome=1' http-equiv='X-UA-Compatible'>
<meta content='width=device-width' name='viewport'>
<meta content='List of supported LaTeX symbols to be trained and recognized by Detexify' name='description'>
<meta content='math,LaTeX,productivity,typesetting,science,machine learning,PhD' name='keywords'>
<title>Detexify LaTeX symbol table</title>
<link href="stylesheets/style-603f0102.css" rel="stylesheet" type="text/css" />
<script src="javascripts/shared-adfd2fa7.js" type="text/javascript"></script>
<script src="javascripts/symbols-6250dd63.js" type="text/javascript"></script>
</head>
<body class='symbols'>
<div class='container'>
<div id='symbols'>
<div id='symbols--ad'>
<script async src="//pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script>
<!-- Detexify upper -->
<ins class="adsbygoogle"
style="display:inline-block;width:320px;height:50px"
data-ad-client="ca-pub-7217292717360456"
data-ad-slot="2804888725"></ins>
<script>(adsbygoogle = window.adsbygoogle || []).push({});</script>
</div>
<header>
<nav>
<ul class='nav'>
<li class='classify'>
<a href='/classify.html'>classify</a>
</li>
<li class='symbols'>
<a href='/symbols.html'>symbols</a>
</li>
</ul>
</nav>
<h1>Detexify</h1>
<h2>Symbol table</h2>
</header>
<div id='symbols--fixer'></div>
<div id='symbols--info-area'>
<h2>What is this?</h2>
<p>
This is the symbol table. Supported symbols are listed here (alphabetically).
</p>
<p>
<strike>
Symbols can also be trained here. Just pick a symbol you sometimes need but tend to forget and click it. A canvas will open for your training input.
</strike>
</p>
<p>
If there are symbols missing
drop me a line or create a
<a href='https://github.com/kirel/detexify#adding-symbols'>pull-request</a>.
If you have more specific LaTeX questions though, you will have more success contacting your
<a href='http://www.tug.org/usergroups.html'>TeX user group</a>
or try the excellent
<a href='http://tex.stackexchange.com/'>TeX Stackexchange</a>.
</p>
</div>
<div id='symbols--list-area'>
<div id='symbols--controls'>
<div id='sort'>
Sort by
<select>
<option selected='' value='alpha'>command</option>
<option value='package'>package</option>
<!-- <option value='samples'>number of samples</option> -->
</select>
</div>
<div id='filter'>
Filter by
<input type='text'>
</div>
</div>
<div id='symbols--loading'>
<div class='spinner'></div>
loading...
</div>
<ul class='symbol-list' id='symbols-list'></ul>
<a href='#' id='up'>up ↑</a>
</div>
</div>
</div>
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-8668142-3', 'auto');
ga('send', 'pageview');
</script>
<script>
(function() {
var s = document.createElement('script'), t = document.getElementsByTagName('script')[0];
s.type = 'text/javascript';
s.async = true;
s.src = 'http://api.flattr.com/js/0.5.0/load.js?mode=auto';
t.parentNode.insertBefore(s, t);
})();
</script>
</body>
</html>