How to realize this compose type in the LaTex?