dejavu-fonts

[David S. <ca...@gm...>]

Hello,

In my application I'm using the bracket characters ⎫, ⎬, and ⎭ to draw
extendable brackets on the screen. I'm wondering what the appropriate way to
do this is. This is what I have in mind so far:

Given a target height, x, find the closest bracket form that is greater than
that height,

}

or

⎫
⎬
⎭

or

⎫
⎪
⎬
⎪
⎭

etc. based on size. It would be nice if the extension could be sizes
in-between these fixed options, but I don't know how to do that. Am I going
about this the right way? Any ideas?

David


-- 
David Sankel
Sankel Software
www.sankelsoftware.com
585 617 4748 (Office)