8.26.3 Can you answer these questions?

8.26.3.1 Package alltt does not typeset double quoting marks

https://tex.stackexchange.com/landing/r/digest?cta=question&id=641412

For a report I would like to typeset HOL4 code in tt font with the alltt environment. 
My code includes U+201C Left Double Quotation Mark and U+201D Right Double Quotation Mark. 
The alltt environment ... 
[unicode] [typewriter] [utf8]
 

asked by Gergely https://tex.stackexchange.com/landing/r/digest?cta=user&id=27523 Score of 1

answered by Gergely https://tex.stackexchange.com/landing/r/digest?cta=user&id=27523 Score of 0

8.26.3.2 How to change an environment in its body

https://tex.stackexchange.com/landing/r/digest?cta=question&id=641994

I have the below code. 
\documentclass{article} 
\newcounter{ex} 
\newenvironment{ex}{% 
\par\noindent\refstepcounter{ex}{\bfseries Ex \theex.\, } 
}{} 
\... 
[macros] [environments] [renewcommand]
 

asked by Nam Tran Le https://tex.stackexchange.com/landing/r/digest?cta=user&id=193916 Score of 1

8.26.3.3 Putting subfigures side by side using subcaption and caption package

https://tex.stackexchange.com/landing/r/digest?cta=question&id=642045

I have the following piece of code: 
\documentclass{article} 
\usepackage{subcaption,caption} 
\usepackag{graphicx} 
\begin{document} 
\begin{figure}[hbt!] 
\centering 
\begin{... 
[graphics] [subfloats] [subcaption] [sidebyside]
 

asked by hi15 https://tex.stackexchange.com/landing/r/digest?cta=user&id=120599 Score of 1

answered by Mico https://tex.stackexchange.com/landing/r/digest?cta=user&id=5001 Score of 0