minor(snip): arrow type consistency

This commit is contained in:
arne314
2025-01-11 14:38:24 +01:00
parent 40f02ce769
commit 701f30d4af
2 changed files with 3 additions and 3 deletions

View File

@@ -45,7 +45,7 @@ return {
start('dm', '$\n<>\t<>\n<>$', { cap(1), visual(1), cap(1) }, markup),
start('fla', '#flashcard(0)[<>][\n<>\t<>\n<>]', { i(1, 'flashcard'), cap(1), visual(2), cap(1) }, markup),
start('flA', '#flashcard(0, "<>")[\n<>\t<>\n<>]', { i(1, 'flashcard'), cap(1), visual(2), cap(1) }, markup),
snip('IMP', '$=>>$ ', {}, markup),
snip('IFF', '$<<=>>$ ', {}, markup),
snip('IMP', '$==>>$ ', {}, markup),
snip('IFF', '$<<==>>$ ', {}, markup),
unpack(document_snippets),
}

View File

@@ -22,7 +22,7 @@ return {
snip('no', 'not ', {}, math),
snip('ip', '==>> ', {}, math),
snip('ib', '<<== ', {}, math),
snip('iff', '<<=>> ', {}, math),
snip('iff', '<<==>> ', {}, math),
-- relations
snip('el', '= ', {}, math),