A simple macro can show a popup menu with these characters to choose from. See attached document (macros will have to be enabled for it).
You don't need to understand the code to use it. To run it outside that document, you'd have to copy and paste it to somewhere like your MyMacros/Standard Library and then set a keyboard shortcut or toolbar button to run the sub SpecialCharactersPopup.
Code: Select all
Sub SpecialCharactersPopup
st ="1 ∀*2 ∃*3 ∧*4 ∨*5 ⇒*6 ⤃*7 ⇔*8 ⤄"
res = showpopup3(thiscomponent.currentcontroller.frame.componentwindow,st,0,0)
if res<> "" then
vc = thiscomponent.currentcontroller.viewcursor
vc.string = right(res,1)
vc.collapsetoend
end if
End Sub
function showpopup3(window,st as string,x,y) as string 'helper function to show a popup menu
'split by *
'separator_
'note ~ identifies accelerator
dim sts() as string,c as long
aRect = CreateUnoStruct("com.sun.star.awt.Rectangle")
arect.x = x
arect.y =y
oPopup = CreateUnoService("stardiv.vcl.PopupMenu")'"com.sun.star.awt.PopupMenu")
sts = split(st,"*")
for i = 0 to ubound(sts)
c =c+1
if sts(i) ="_" then
oPopup.insertSeparator(c)
else
if mid(sts(i),1,1) ="!" then isdefault = true else isdefault = false
if isdefault then
mid(sts(i),1,1) =""
oPopup.insertItem(c, sts(i),0, c)
opopup.setDefaultItem c
else
oPopup.insertItem(c, sts(i),0, c)
oPopup.setCommand(c, sts(i))
end if
end if
next
n = oPopup.execute( window, aRect, com.sun.star.awt.PopupMenuDirection.EXECUTE_DEFAULT)
If n > 0 Then
showpopup3 = oPopup.getCommand(n)
end if
End function