Fetching details from the dictionary...
right-angled loop (used in plumbing); right-angled expansion pipe; torii-shaped piping