などの用例があるが、これ以外にも広く使われている。