Added documentation for |