Difference between revisions of "Aops font"

m
(In the Wiki)
Line 16: Line 16:
 
Because BBCode does not work in the AoPS wiki, you need to use the following HTML code:
 
Because BBCode does not work in the AoPS wiki, you need to use the following HTML code:
 
:<code> <nowiki><span class="aops-font">text here!</span></nowiki></code>
 
:<code> <nowiki><span class="aops-font">text here!</span></nowiki></code>
It gives:
+
or
 +
:<code> <nowiki><span style="font-family:AoPS;">text here!</span></nowiki></code>
 +
 
 +
They both give:
  
 
<span class="aops-font">text here!</span>
 
<span class="aops-font">text here!</span>

Revision as of 22:07, 24 July 2020

The AoPS font is a font that can be used to make certain special symbols in the forum. You enclose some text inside [aops] and [/aops] and the text is rendered in the aops font.

Purpose

The [aops][/aops] tags allow you to render items from the custom font that AoPS uses -- you'll recognize these icons from the rest of the site.

For example, to type the symbol for the re-sort button |, you would type

[aops]|[/aops]

It is also okay to use [AoPS][/AoPS].

Use

In the Forums

To use the font in the forums, simply put [aops] before your text and [/aops] after it. The text will be converted as described in the tables below.

Note that some may count as characters that are not allowed.

In the Wiki

Because BBCode does not work in the AoPS wiki, you need to use the following HTML code:

<span class="aops-font">text here!</span>

or

<span style="font-family:AoPS;">text here!</span>

They both give:

text here!

Characters

Commonly Used

Symbol What to type
Y Y
V V
a a
f f
h h
j j
3 3
i i
X X
9 9
k k

Full List

Character Aops font Character Aops font
a a A A
b b B B
c c C C
d d D D
e e E E
f f F F
g g G G
h h H H
i i I I
j j J J
k k K K
l l L L
m m M M
n n N N
o o O O
p p P P
q q Q Q
r r R R
s s S S
t t T T
u u U U
v v V V
w w W W
x x X X
y y Y Y
z z Z Z
1 1 ! !
2 2 @ @
3 3 # #
4 4 $ $
5 5 % %
6 6 ^ ^
7 7 & &
8 8 * *
9 9 ( (
0 0 ) )
- - _ _
= = + +
, , . .
/ / ? ?
< < > >
; ; : :
' ' " "
{ { } }
· ·
¥ ¥
£ £
˜ ˜

There's more font characters! We can't name them all, but you can find them yourself!