Ah. Thank you! (thanks @Malo too ) Still, that's a bit odd a place to put such a feature, which I think most people would use A LOT more often than say, indent/outdent, or un/ordered lists.As Malo says, press the + button on the editor toolbar and it's right there.
Oh, and by the way. It's not possible to edit text by dragging a selected block and plopping it down where you want it, for some strange reason. It's like the text box is a highly custom...thing. Copy/pasting text also causes the whole post to re-draw, sometimes causing a delay of upwards of a second or so. Server-side lag, maybe? If so, why, does the text editor really have to run server-side?