I've also noticed that many lower-end restaurants will print pre-computed tip values at the bottom of the sales receipt for 15%, 18%, and 20% (both as a prompt and as a "nice" thing to do so you don't have to do the math yourself). But these values seem to always be calculated off the post-tax cost of the meal, whereas convention seems to be that you tip based on the pre-tax subtotal.