On Mon, Apr 13, 2020 at 1:32 PM André L F S Bacci < [email protected]> wrote:
> On Mon, Apr 13, 2020 at 10:52 AM Benoit <[email protected]> wrote: > >> Any ideas ? >> > > This is a HTML abuse, but... > > <ruby>⟶<rt style='font-size: 1rem;'>Set</big></ruby> > This is long, but somewhat modern and a bit less of abuse: <div style='display: table; text-align: center;'> <div style='display: table-row;'><div style='display: table-cell;'>Set</div></div> <div style='display: table-row;'><div style='display: table-cell;'>⟶</div></div> </div> André -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAL1T4B1225LChzRsC%2B1Amg2Rk2g7GooNnDBoQUA5meSGs0RJ%2BA%40mail.gmail.com.
