# How to make normal subgroup sign in overleaf? [duplicate]

This question already has an answer here:

Overleaf is saying that both \unlhd and \trianglelefteq are undefined control commands, although \traingleleft works fine.

How else can I make normal subgroup symbol i.e.

with an equality sign below.

## marked as duplicate by egreg amsmath StackExchange.ready(function() { if (StackExchange.options.isMobile) return; $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() { var$hover = $(this).addClass('hover-bound'),$msg = $hover.siblings('.dupe-hammer-message');$hover.hover( function() { $hover.showInfoMessage('', { messageElement:$msg.clone().show(), transient: false, position: { my: 'bottom left', at: 'top center', offsetTop: -7 }, dismissable: false, relativeToBody: true }); }, function() { StackExchange.helpers.removeMessages(); } ); }); }); Jul 12 '15 at 9:56

• I don't know how overleaf actually works, but you might have to load the amssymb package. – Bernard Jul 12 '15 at 1:04

You need the amssymb package:

\documentclass{article}
\usepackage{amssymb}

\begin{document}
$H \unlhd G$
\end{document}


Or even without the package you could say:

\documentclass{article}

\DeclareSymbolFont{AMSa}{U}{msa}{m}{n}
$H \Bhaskarunlhd G$

• Jjust copying it inside  is giving many errors. I am not sure I am doing it right, acn you try it in a blank page in overleaf.com and see how can I make it work. If you are not busy, thanks. Otherwise I will just use the one without equal sign, not a problem – Bhaskar Vashishth Jul 12 '15 at 1:47