\documentclass[twoside]{article} %book
\usepackage{amsfonts}
\usepackage{manyfoot}
\usepackage{color}
\usepackage{fancyhdr}

%\{litery sty} do podwojnych literek

\newfootnote{D}
\newfootnote{C}

\def\footnoteC{\relax
\Footnotemark{\mojznak}\FootnotetextC{}}

\def\mojprzypis#1#2{\edef\mojznak{#1}\relax
\footnoteC{#2}}

\newcount\abc

\edef\numD{}

\def\footnoteD{\ifnum\abc<\count0\global\edef\numD{}\else\fi
\global\edef\numD{\numD*}\abc=\count0
\Footnotemark{\numD}\FootnotetextD{}}




\newfootnote{A}

\newcount\numA
\numA=30

\def\footnoteA{\global\advance\numA by1
\Footnotemark{[\the\numA]} \FootnotetextA{}}


\newfootnote{B}

\newcount\numB
\numB=99

\def\footnoteB{\global\advance\numB by1
\Footnotemark{|\the\numB|} \FootnotetextB{}}


\newcount\numersekcji
\newcount\numersubsekcji

\def\section#1{\numersubsekcji=0
\advance\numersekcji1
\newpage\thispagestyle{empty}\def\prawynag{\the\numersekcji.#1.} {\Large\bf \the\numersekcji.#1.}}

\def\subsection#1{
\advance\numersubsekcji1
\def\lewynag{\the\numersekcji.\the\numersubsekcji. #1}
{\large\bf\the\numersekcji.\the\numersubsekcji. #1.}}


\begin{document}





\pagestyle{headings} %plain, headings

%\pagestyle{empty} %pusta (główka i stopka)

%\thispagestyle{empty}

\pagestyle{fancy}

\def\headrulewidth{0pt}

\fancyfoot{}
%\fancyhead[RO]{{\small\S\ 12. Przestrzenie topologiczne}
%\hspace{2em}\thepage}
%\fancyhead[LE]{\thepage\hspace{2em} {\small I. Elementy topologii}}

\fancyhead[RO]{{\small \lewynag}\hspace{2em}\thepage}
\fancyhead[LE]{\thepage\hspace{2em} {\small \prawynag}}

\fancyhead[RE]{}
\fancyhead[LO]{}

\section{ABC}

\subsection{xyz}








%$\left(\int\footnote{przypis w ramce}\right)$ %nie ma przypisu na dole

$\left(\int\footnote{przypis w ramce}\right)\addtocounter{footnote} {-1}\color{white}\footnote{przypis w ramce}$

%zmniejsza numeracje o 1



$$f:X\mathop\rightarrow^{\rm na} Y\footnoteA{typ A}$$

$$f:X\mathop{\longrightarrow}^{\rm na} Y$$

$$ f(x,y)=\left\{
\begin{array}{rll}
1, & {\rm jesli} & 0-1, & {\rm jesli} & x>0 \ \ {\rm i} \ \ x-10\phantom{,} &\multicolumn{2}{l}{{\rm dla\ pozostalych} (x,y)\in \mathbb{R}^2.}
\end{array}
\right.$$


$$A(x_{p_1},\ldots,x_{p_i})=\left\{
\begin{array}{clll}
A_2 & {\rm przy} & (x_{p_1},\ldots,x_{p_i})\in A_1 & \\

\emptyset & {\rm przy} & (x_{p_1},\ldots,x_{p_i})\notin A_1 &

\end{array}
\right.
{\rm pr} A = A_1\footnoteA{przypis typu A} $$



$$(x_1,x_2,\ldots,x_n)\footnote{To jest przypis pierwszy}$$

$$(x_1+x_2+\cdots+x_n)\footnoteB{przypis B}$$

$$(x_1+x_2+\ldots+x_n)\footnote{To jest przypis drugi}$$

$$\ulcorner (p\rightarrow q)\footnoteA{przypis typu A}$$
$$\urcorner (p\rightarrow q)$$
$$\lrcorner (p\rightarrow q)$$

\newpage
$$\llcorner (p\rightarrow q)\footnote{to jest przypis trzeci}\footnoteB{przypis B}$$

\def\nie{\raisebox{-1ex}{$\urcorner\hspace{0.2ex}$}}

$$\nie (p\rightarrow q)$$

PRZYPISY \footnoteA{przypis typu A}
\checkmark \maltese \maltese \maltese\footnoteB{przypis B} \maltese \maltese \maltese \maltese \maltese \maltese \maltese \maltese \maltese \maltese \maltese \maltese
$\mho$ \circledR \circledR \circledR \circledR \circledR

%przypisy w ramkach
Ala$\left(\footnoteB{przypis w
ramce}\right)$\relax
\setbox0=\hbox{{}\footnoteB{A}}\relax
\global\advance\numB-2{\color{white}\footnoteB{przypis B w
ramce}}\hspace{-\wd0}ma kota\footnoteB{przypis B}


Ala\mojprzypis{*}{mojprzypis1} ma kotyyy\mojprzypis{*}{Moj przypis2}


Ala\footnoteD{przypisD} ma kota\footnoteD{przypisD}

\newpage

\section{DEF}

\subsection{zzz}

Alam kot\footnoteD{przypis D}

\newpage

\section{WWW}

\subsection{dd}

\subsection{jhgvjlhvg}


\end{document}