From 83194671515b20fbc3b9edf89d39dc1e0b4aa1f6 Mon Sep 17 00:00:00 2001 From: BettyJJ <245282+BettyJJ@users.noreply.github.com> Date: Sat, 21 May 2022 01:15:41 +0800 Subject: [PATCH] docs(support_table): \leftarrowtail is already supported (#3515) --- docs/support_table.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/support_table.md b/docs/support_table.md index 66d4cec8..21b2967a 100644 --- a/docs/support_table.md +++ b/docs/support_table.md @@ -573,7 +573,7 @@ use `\ce` instead| |\leftarrow|$\leftarrow$|| |\Leftarrow|$\Leftarrow$|| |\LeftArrow|Not supported|Non standard -|\leftarrowtail|Not supported|| +|\leftarrowtail|$\leftarrowtail$|| |\leftharpoondown|$\leftharpoondown$|| |\leftharpoonup|$\leftharpoonup$|| |\leftleftarrows|$\leftleftarrows$||