Post Made Community Wiki by S. Carnahan
show/hide this revision's text 2 added 47 characters in body

It's called a range restriction. There's no established notation, but you might as well use the Z notation which is f  ▷ B'. (f \rhd B'. in LaTeX plus amsfonts)

show/hide this revision's text 1

It's called a range restriction. There's no established notation, but you might as well use the Z notation which is f  ▷ B' .