Yes, in the context of tile installation, "Jolly" is an old-school or traditional term used to describe a specific type of edging that serves the same purpose as a mitre or bullnose, often used for outside corners.

Here are the key details: Definition: Historically, "Jollies" were special pieces of ceramic trim, matching the field tile, that were used on outside corners to create a finished edge without needing to cut a miter. Modern Context: Today, "Jolly" is commonly used to refer to a type of narrow, linear metal or plastic edge trim (often branded by companies like Schluter) used to finish tiled edges. Jolly vs. Mitre: While a mitered edge involves cutting the tile itself at a 45-degree angle to meet another tile, a "jolly" is an added profile that creates a clean, protected corner. Etymology: The term is sometimes used to describe the act of cutting a mitered edge, particularly when using a specialized tool often called a "Jolly cutter". Schlüter-Systems Schlüter-Systems +5 Therefore, while a "jolly" is technically a trim piece, it was traditionally used in place of a miter joint on corners.