Help with Vertical Lines in LaTeX

[VoidSeraph]

Does anyone know a way to get half-vertical lines? I mean, I'd like something identical to /vline , but which starts from the top of the row and only goes halfway down. Similarly, I'd like a line which starts from the bottom and only goes halfway up.

Even better would be something like a corner but where the corner has it's horizontal bit in the middle of the line, and where the vertical portion lines up with \vline in the tabular environment.

(Basically, I'm trying to make a long bracket-thingy. I'm typesetting some logic proofs and these long brackets are sometimes used for setting-off subproofs. \vline is perfect for making a long line which spans multiple rows. But I can't quite get the top and bottom to look right.)
Thanks for any help!

 

[tiny-tim]

Welcome to PF!

Hi VoidSeraph! Welcome to PF!

Even better would be something like a corner but where the corner has it's horizontal bit in the middle of the line, and where the vertical portion lines up with \vline in the tabular environment.

According to http://www.combinatorics.net/weblib/A.9-10/a9.html it's "\ulcorner" etc for the corners … but apparently you need the asmath package.

 

[robphy]

have you tried \rule ?

This may be useful for finding symbols: http://detexify.kirelabs.org/classify.html

 

[jhae2.718]

hi voidseraph! Welcome to pf!


According to http://www.combinatorics.net/weblib/a.9-10/a9.html it's "\ulcorner" etc for the corners … but apparently you need the amsmath package.

ftfy.

 

[VoidSeraph]

Hey, thanks for the quick replies.
Those are great suggestions. The "\**corner" family of commands is pretty close to what I want, but at the wrong height. Their angles are at the tops or bottoms of lines, when I really need them to be in the middle, unfortunately.
\rule looks like it's going to get me what I want, at least if I play around with it a bit. Thanks very much!

 

[robphy]

You can also try \raisebox